#include<bits/stdc++.h>
using namespace std;
mt19937 rnd(time(0));
int main()
{
    int n=10000000,k=rnd()%n+1;
    printf("%d %d\n",n,k);
    for(int i=1;i<=n;i++)
        printf("%d ",rnd()%2000000000+1);
    return 0;
}